301![Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs](https://www.pdfsearch.io/img/b41c7395c0777afa2933b9801f3c60c0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2014-02-26 06:04:38
|
---|
302![SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot SoK: Science, Security, and the Elusive Goal of Security as a Scientific Pursuit Cormac Herley P.C. van Oorschot](https://www.pdfsearch.io/img/a1f1f5f05c1fadf4ede60ce64e56b9ec.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 16:02:01
|
---|
303![CURRICULUM VITAE CHARITY KERSEY BUTCHER Associate Professor of Political Science July 3, 2018 Office: Department of Political Science CURRICULUM VITAE CHARITY KERSEY BUTCHER Associate Professor of Political Science July 3, 2018 Office: Department of Political Science](https://www.pdfsearch.io/img/4a5a24adea7dd4eb20d280e3541e3388.jpg) | Add to Reading ListSource URL: ksuweb.kennesaw.eduLanguage: English - Date: 2018-07-09 10:47:42
|
---|
304![Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted Published Logical Methods in Computer Science Vol. 4 (4:, pp. 1–21 www.lmcs-online.org Submitted Published](https://www.pdfsearch.io/img/f06ea71d0610027bf55af70b16c75793.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2008-11-30 12:14:57
|
---|
305![Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu Industrial Use of ACL2: Applications, Achievements, Challenges, and Directions J Strother Moore and Marijn J.H. Heule Department of Computer Science The University of Texas at Austin {moore,marijn}@cs.utexas.edu](https://www.pdfsearch.io/img/a4c297366ea4e20b548ffe63d536fa6f.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2017-07-30 15:10:42
|
---|
306![1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington 1 Securing Augmented Reality Output Kiron Lebeck, Kimberly Ruth, Tadayoshi Kohno, Franziska Roesner Paul G. Allen School of Computer Science & Engineering University of Washington](https://www.pdfsearch.io/img/7c874b473559a74e393dfdf1a79b3662.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-04-03 16:01:40
|
---|
307![June 28, 2018 APSA Statement on Trump v. Hawaii Ruling The American Political Science Association stands by its previous condemnations (from January 30, 2017 and March 7, 2017) of the administration’s executive actions June 28, 2018 APSA Statement on Trump v. Hawaii Ruling The American Political Science Association stands by its previous condemnations (from January 30, 2017 and March 7, 2017) of the administration’s executive actions](https://www.pdfsearch.io/img/4210e06c53227261a7d45affac7e7d8c.jpg) | Add to Reading ListSource URL: www.apsanet.orgLanguage: English - Date: 2018-06-29 08:55:08
|
---|
308![Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University Using Java Pathfinder to Reason about Agent Systems Franco Raimondi Department of Computer Science Middlesex University](https://www.pdfsearch.io/img/14477de4e599ca8cbfc3e360ef87db99.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2015-11-05 09:33:47
|
---|
309![Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo Improved Semantic Representations From Tree-Structured Long Short-Term Memory Networks Kai Sheng Tai, Richard Socher*, Christopher D. Manning Computer Science Department, Stanford University, *MetaMind Inc. fo](https://www.pdfsearch.io/img/4f86c2ac9ee32f1cd6634699884894bc.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2015-06-01 20:23:35
|
---|
310![Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol Poster: Flow Inspection Scheduling for Cyber Security on Software-Defined Networks Sunghwan Kim, Seunghyun Yoon, and Hyuk Lim School of Electrical Engineering and Computer Science Gwangju Institute of Science and Technol](https://www.pdfsearch.io/img/c6a4b31cf2df42bfdd0e3be15c945364.jpg) | Add to Reading ListSource URL: www.ieee-security.orgLanguage: English - Date: 2017-05-14 15:46:40
|
---|